Теорема о компактном множестве

Формулировка:

Если $K$ - компактное, то $K$ - ограниченное и замкнутое